Finite-State Temporal Projection
نویسنده
چکیده
Finite-state methods are applied to determine the consequences of events, represented as strings of sets of fluents. Developed to flesh out events used in natural language semantics, the approach supports reasoning about action in AI, including the frame problem and inertia. Representational and inferential aspects of the approach are explored, centering on conciseness of language, context update and constraint application with bias.
منابع مشابه
Space-Time Galerkin Projection of Electro-Magnetic Fields
Spatial Galerkin projection transfers fields between different meshes. In the area of finite element analysis of electromagnetic fields, it provides great convenience for remeshing, multi-physics, domain decomposition methods, etc. In this paper, a space-time Galerkin projection is developed in order to transfer fields between different spatial and temporal discretization bases.
متن کاملFinite State Automata and Simple Conceptual Graphs with Binary Conceptual Relations
We propose a representation of simple conceptual graphs with binary conceptual relations, which is based on finite-state automata. The representation enables the calculation of injective projection as a two-stage process: off-line calculation of the computationally-intensive subsumption checks and encoding of the results as a minimal finite-state automaton, and run-time calculation by look-up i...
متن کاملIdentification of Linear Stochastic Systems Through Projection Filters
A novel method is presented for identifying a state-space model and a state estimator for linear stochastic systems from input and output data. The method is primarily based on the relationship between the state-space model and the finite difference model of linear stochastic systems derived through projection filters. It is proved that least-squares identification of a finite difference model ...
متن کاملGeneralised projections in finite state automata and decidability of state determinacy
Loss of sensors and communication links may lead to incomplete observation at the supervisory level of discrete event systems (DES). Under these circumstances, an event may conceivably be observable at one state and unobservable at another state and the observability may become dependent on the history of event occurrences. This paper presents a framework for analysis of generalised projection ...
متن کاملA Finite-State Temporal Ontology and Event-Intervals
A finite-state approach to temporal ontology for natural language text is described under which intervals (of the real line) paired with event descriptions are encoded as strings. The approach is applied to an interval temporal logic linked to TimeML, a standard mark-up language for time and events, for which various finite-state mechanisms are proposed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006